Nuprl Definition : Rplus
11,40
postcript
pdf
Rplus(
left
;
right
) == inr (inl <
left
,
right
> )
latex
Definitions
inr
x
,
inl
x
,
<
a
,
b
>
FDL editor aliases
Rplus
origin